Don't know if this will help you, but the files called h264 on both pages are mp4 files which are much smaller and play in most anything. Not vouching for the files themselves as I haven't viewed them. Good Luck!
That definitely helps. Those files were not there when I made my request. Thank you to whoever fixed those pages, and to you elmagno for your followup post, which let me know (by email notification) that the job was done. I will certainly start downloading, soon as I post this.